process calculus - German English Dictionary